SDL-2000: A Language with a Formal Semantics
نویسندگان
چکیده
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data types, simplify and unify concepts of previous language versions and provide an alignment with UML. Due to the significant changes to SDL it was necessary to define a new formal semantics for SDL. Abstract State Machines (ASMs) have been chosen as the underlying formalism. In this paper, after introducing the new SDL language features, it is shown, how these features get an executable formal semantics using ASMs.
منابع مشابه
The formal semantics of SDL-2000: Status and perspectives
In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL2000 was officially approved to become part of the SDL language definition. It covers both the static and the dynamic semantics, and is based on the formalism of abstract state machines (ASMs). To support exec...
متن کاملSDL - A Description Language For Building NLP Systems
We present the system description language SDL that offers a declarative way of specifying new complex NLP systems from already existing modules with the help of three operators: sequence, parallelism, and unrestricted iteration. Given a system description and modules that implement a minimal interface, the SDL compiler returns a running Java program which realizes exactly the desired behavior ...
متن کاملReal-Time Signaling in SDL
SDL is a formal specification language for distributed systems, which provides significant, yet limited real-time expressiveness by its notion of time (now) and its timer mechanism. In our current work, we are investigating various ways to augment this expressiveness, by proposing language extensions and exploiting degrees of freedom offered by SDL’s formal semantics. This paper presents some r...
متن کاملFormalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Lang...
متن کاملA Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol
SDL is an industrial standard formal description technique for telecommunication systems. Despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real{time aspects. Timed Rewriting Logic (TRL) is a new variant of Rewriting Logic, an algebraic formalism which allows the dynamic behaviour of systems to be axiomati...
متن کامل